Scalable online first-order monitoring

نویسندگان

چکیده

Abstract Online monitoring is the task of identifying complex temporal patterns while incrementally processing streams data-carrying events. Existing state-of-the-art monitors for first-order patterns, which may refer to and quantify over data values, can process modest velocity in real-time. We show how scale up substantially higher velocities by slicing stream, based on events’ into substreams that be monitored independently. Because not embarrassingly parallel general, lead duplication. To reduce this overhead, we adapt hash-based partitioning techniques from databases setting. implement these an automatic slicer Apache Flink empirically evaluate its performance using two tools—MonPoly DejaVu—to monitor substreams. Our evaluation attests substantial scalability improvements both tools.

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

From Propositional to First-Order Monitoring

The main purpose of this paper is to introduce a first-order temporal logic, LTL, and a corresponding monitor construction based on a new type of automaton, called spawning automaton. Specifically, we show that monitoring a specification in LTL boils down to an undecidable decision problem. The proof of this result revolves around specific ideas on what we consider a “proper” monitor. As these ...

متن کامل

A Monitoring Metric First-order Temporal Properties

Runtime monitoring is a general approach to verifying system properties at runtime by comparing system events against a specification formalizing which event sequences are allowed. We present a runtime monitoring algorithm for a safety fragment of metric first-order temporal logic that overcomes the limitations of prior monitoring algorithms with respect to the expressiveness of their property ...

متن کامل

Policy Monitoring in First-Order Temporal Logic

We present an approach to monitoring system policies. As a specification language, we use an expressive fragment of a temporal logic, which can be effectively monitored. We report on case studies in security and compliance monitoring and use these to show the adequacy of our specification language for naturally expressing complex, realistic policies and the practical feasibility of monitoring t...

متن کامل

First and Second Order Methods for Online Convolutional Dictionary Learning

Convolutional sparse representations are a form of sparse representation with a structured, translation invariant dictionary. Most convolutional dictionary learning algorithms to date operate in batch mode, requiring simultaneous access to all training images during the learning process, which results in very high memory usage, and severely limits the training data that can be used. Very recent...

متن کامل

Runtime Monitoring of Metric First-order Temporal Properties

We introduce a novel approach to the runtime monitoring of complex system properties. In particular, we present an online algorithm for a safety fragment of metric first-order temporal logic that is considerably more expressive than the logics supported by prior monitoring methods. Our approach, based on automatic structures, allows the unrestricted use of negation, universal and existential qu...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: International Journal on Software Tools for Technology Transfer

سال: 2021

ISSN: ['1433-2779', '1433-2787']

DOI: https://doi.org/10.1007/s10009-021-00607-1